Learning Timed Automata from Interaction Traces
نویسندگان
چکیده
منابع مشابه
Machine learning of timed automata
This dissertation investigates the applicability of automata in the domain of process mining. Process mining is a part of machine learning that aims to describe, discover and to predict dynamic systems. It can be used especially in the domain of biology and medicine where many processes are still not fully understood. The main problem here is that the processes are very complex and that many fa...
متن کاملFrom MITL to Timed Automata
We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction is much simpler than previously known and can be easily implemented. Prediction is very difficult, especially about the future. Niels Bohr
متن کاملFrom Scenarios to Timed Automata
We describe a new method of synthesizing a formal model for real-time systems from scenarios. Scenarios, formally defined as Timed Event Sequences, together with mode graphs are used to describe behaviors of real-time systems. Given a set of Timed Event Sequences and a mode graph, our synthesis method constructs a minimal, acyclic, deterministic timed automaton that models the specified aspects...
متن کاملFrom Timed Reo Networks to Networks of Timed Automata
The Reo coordination language is an extensible graphical notation for component or service coordination wherein independent autonomous software entities exchange data through a connector or a network imposing synchronization and data constraints on those entities. Each connector is formed from a set of binary connectors, called channels, with precise semantics and, thus, amenable to formal veri...
متن کاملTimed Automata
Model checking is emerging as a practical tool for automated debugging of complex reactive systems such as embedded controllers and network protocols (see [23] for a survey). Traditional techniques for model checking do not admit an explicit modeling of time, and are thus, unsuitable for analysis of real-time systems whose correctness depends on relative magnitudes of different delays. Conseque...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2019
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2019.12.097